@page
@{ throw new InvalidOperationException(); }
